Logics Of Proofs And Justifications | Roman Kuznets (u. A.) | Englisch

Logics Of Proofs And Justifications By Kuznets, Roman

Thomas Studer Roman Ku Logics Of Proofs And Justifica (taschenbuch)

A Proof Theory For Description Logics 1753

Arnon Avron On Semantics And Proof Theory Of Non-classical Logics 6312

A Proof Theory For Description Logics | Alexandre Rademaker | Englisch

Probability Logics | Zoran Ognjanovi¿ (u. A.) | Taschenbuch |

Nikolai Tillmann (u. A.) | Tests And Proofs | Taschenbuch | Englisch

Michael Norrish (u. A.) | Certified Programs And Proofs | Taschenbuch

Jacques Julliand (u. A.) | Tests And Proofs | Taschenbuch | Englisch

Knowledge, Proof And Dynamics | Fenrong Liu (u. A.) | Taschenbuch |

Nonclassical Logics And Their Applications Shier Ju (u. A.)

Michal Krynicki (u. A.) | Quantifiers: Logics, Models And Computation

Zsuzsa Millei (u. A.) | Logics Of Socialist Education | Buch |

Karl Schlechta (u. A.) | Conditionals And Modularity In General Logics

Joao Leite (u. A.) | Logics In Artificial Intelligence | Taschenbuch |